Перевод: с английского на русский

с русского на английский

доказательство в виде дерева

См. также в других словарях:

  • ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

  • Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… …   Энциклопедия инвестора

  • ДЕКАРТ — (Descartes) Рене (латинизир. имя Картезий; Renatus Cartesius) (1596 1650) фр. философ и ученый, один из основателей философии и науки Нового времени. Основные философско методологические соч.: «Рассуждение о методе» (1637), «Размышления о первой… …   Философская энциклопедия

  • Генеалогическое древо — У этого термина существуют и другие значения, см. Древо. Пример восходяще нисходящего смешанного генеалогического древа Родословное, или генеалогическое древо …   Википедия

  • Родословное дерево — Пример восходяще нисходящего смешанного генеалогического древа Родословное или генеалогическое древо схематическое представление родственных связей, родословной росписи в виде древа, у «корней» которого расположен родоначальник, а на «ветвях»… …   Википедия

  • Список эпизодов телесериала «Карнавал» — Основная статья: Карнавал (телесериал) Заставка сериала «Карнавал» (англ. Carnivàle) американский телесериал, созданный …   Википедия

  • Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …   Медицинская энциклопедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • Семейство волчьи, или псовые —         (Canidae)** * * Семейство объединяет 16 современных родов и 36 видов. Псовые широко распространены в Евразии, Африке, Северной и Южной Америке, на Новую Гвинею и в Австралию проникли с человеком. За исключением одного вида, имеют более… …   Жизнь животных

  • Суффиксное дерево — Суффиксное дерево  бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»